Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog
نویسندگان
چکیده
SWRL rules are transformed in two steps for visualization in a subset of Grailog. A Unary/Binary Datalog rule in SWRL presentation syntax is translated to a corresponding PSOA RuleML rule in a RIF-like presentation syntax employing frame formulas. This is then translated to the Graphviz DOT language so that the Graphviz tool can render it visually as a Grailog graph with an object identifier and slots. Supported by the obtained visual graphs, users can more easily analyze the original symbolic logic rules. KeywordsSemantic Web; SWRL rules; Unary/Binary Datalog; F-logic; PSOA RuleML; Grailog; Visualization; Graphviz; Transformation
منابع مشابه
SWRL2COOL: Object-Oriented Transformation of SWRL in the CLIPS Production Rule Engine
The Semantic Web Rule Language (SWRL) is a W3C member submission rule language for ontologies. It is based on a combination of the OWL DL and OWL Lite sublanguages of the OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages of the Rule Markup Language. In this paper we propose a transformation of SWRL rules into the object-oriented rule language of CLIPS (COOL). The purpo...
متن کاملGrailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG
Grailog embodies a systematics to visualize knowledge sources by graphical elements. Its main benefit is that the resulting visual presentations are easier to read for humans than the original symbolic source code. In this paper we introduce a methodology to handle the mapping from Datalog RuleML, serialized in XML, to an SVG representation of Grailog, also serialized in XML, via eXtensible Sty...
متن کاملPort Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic
The Decision Management (DM) Community Challenge of March 2016 consisted of creating decision models from ten English Port Clearance Rules inspired by the International Ship and Port Facility Security Code. Based on an analysis of the moderately controlled English rules and current online solutions, we formalized the rules in PositionalSlotted, Object-Applicative (PSOA) RuleML. This resulted in...
متن کاملPerspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation
In Positional-Slotted Object-Applicative (PSOA) RuleML, a predicate application (atom) can have an Object IDentifier (OID) and descriptors that may be positional arguments (tuples) or attributevalue pairs (slots). PSOA RuleML 1.0 extends earlier versions by explicitly specifying for each descriptor whether it is to be interpreted under the perspective of the predicate in whose scope it occurs. ...
متن کاملASP-PROLOG: Composition and Interoperation of Rules
One of the main goals of the Semantic Web initiative [3] is to extend the current Web technology to allow for the development of intelligent agents, which can automatically and unambiguously process the information available on millions of web pages. It has been recognized very early in the development of the Semantic Web that rules are essential for the Web3 and for Semantic Web applications—e...
متن کامل